[next] [prev] [prev-tail] [tail] [up]

2.2.9 Integrals 801 to 900

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 801

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

320 159 127 140 241 124 0 197 0

N.S.

1 0.50 0.40 0.44 0.75 0.39 0.00 0.62 0.00

time (sec)

N/A 0.298 0.070 0.161 0.218 0.321 0.000 0.271 0.000

Problem 802

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

320 159 127 140 241 124 0 197 0

N.S.

1 0.50 0.40 0.44 0.75 0.39 0.00 0.62 0.00

time (sec)

N/A 0.295 0.073 0.141 0.210 0.307 0.000 0.271 0.000

Problem 803

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

320 159 127 140 241 122 0 197 0

N.S.

1 0.50 0.40 0.44 0.75 0.38 0.00 0.62 0.00

time (sec)

N/A 0.304 0.072 0.363 0.204 0.310 0.000 0.269 0.000

Problem 804

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

316 155 126 140 240 119 0 197 0

N.S.

1 0.49 0.40 0.44 0.76 0.38 0.00 0.62 0.00

time (sec)

N/A 0.292 0.073 0.141 0.228 0.306 0.000 0.270 0.000

Problem 805

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

314 153 124 140 238 119 0 197 140

N.S.

1 0.49 0.39 0.45 0.76 0.38 0.00 0.63 0.45

time (sec)

N/A 0.287 0.082 0.141 0.205 0.293 0.000 0.272 10.671

Problem 806

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

314 153 122 140 236 119 0 195 0

N.S.

1 0.49 0.39 0.45 0.75 0.38 0.00 0.62 0.00

time (sec)

N/A 0.299 0.067 0.142 0.204 0.320 0.000 0.264 0.000

Problem 807

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

316 155 122 140 234 119 0 196 0

N.S.

1 0.49 0.39 0.44 0.74 0.38 0.00 0.62 0.00

time (sec)

N/A 0.298 0.086 0.156 0.205 0.275 0.000 0.265 0.000

Problem 808

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

316 155 122 140 234 119 0 196 0

N.S.

1 0.49 0.39 0.44 0.74 0.38 0.00 0.62 0.00

time (sec)

N/A 0.293 0.078 0.144 0.195 0.272 0.000 0.275 0.000

Problem 809

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

286 149 139 156 257 276 0 205 0

N.S.

1 0.52 0.49 0.55 0.90 0.97 0.00 0.72 0.00

time (sec)

N/A 0.256 0.049 0.141 0.321 0.302 0.000 0.265 0.000

Problem 810

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

238 130 120 132 203 229 0 169 0

N.S.

1 0.55 0.50 0.55 0.85 0.96 0.00 0.71 0.00

time (sec)

N/A 0.241 0.039 0.132 0.317 0.315 0.000 0.272 0.000

Problem 811

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

190 111 100 108 147 180 0 133 0

N.S.

1 0.58 0.53 0.57 0.77 0.95 0.00 0.70 0.00

time (sec)

N/A 0.235 0.032 0.131 0.319 0.284 0.000 0.276 0.000

Problem 812

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

144 92 82 85 122 129 0 94 0

N.S.

1 0.64 0.57 0.59 0.85 0.90 0.00 0.65 0.00

time (sec)

N/A 0.218 0.023 0.138 0.317 0.290 0.000 0.262 0.000

Problem 813

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

99 75 72 65 140 102 0 57 0

N.S.

1 0.76 0.73 0.66 1.41 1.03 0.00 0.58 0.00

time (sec)

N/A 0.206 0.025 0.131 0.310 0.287 0.000 0.255 0.000

Problem 814

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

99 75 81 71 180 112 0 57 0

N.S.

1 0.76 0.82 0.72 1.82 1.13 0.00 0.58 0.00

time (sec)

N/A 0.209 0.020 0.138 0.321 0.294 0.000 0.260 0.000

Problem 815

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

144 93 88 86 244 146 0 85 0

N.S.

1 0.65 0.61 0.60 1.69 1.01 0.00 0.59 0.00

time (sec)

N/A 0.221 0.028 0.126 0.331 0.326 0.000 0.276 0.000

Problem 816

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

190 112 107 111 305 195 0 122 0

N.S.

1 0.59 0.56 0.58 1.61 1.03 0.00 0.64 0.00

time (sec)

N/A 0.232 0.032 0.121 0.337 0.324 0.000 0.278 0.000

Problem 817

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

238 131 127 135 357 246 0 158 0

N.S.

1 0.55 0.53 0.57 1.50 1.03 0.00 0.66 0.00

time (sec)

N/A 0.243 0.039 0.135 0.337 0.330 0.000 0.267 0.000

Problem 818

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

302 179 148 152 273 408 0 170 0

N.S.

1 0.59 0.49 0.50 0.90 1.35 0.00 0.56 0.00

time (sec)

N/A 0.278 0.054 0.180 0.348 0.330 0.000 0.274 0.000

Problem 819

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

255 160 127 130 252 349 0 143 0

N.S.

1 0.63 0.50 0.51 0.99 1.37 0.00 0.56 0.00

time (sec)

N/A 0.268 0.043 0.173 0.345 0.313 0.000 0.277 0.000

Problem 820

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

206 140 108 115 237 319 0 111 0

N.S.

1 0.68 0.52 0.56 1.15 1.55 0.00 0.54 0.00

time (sec)

N/A 0.254 0.042 0.169 0.338 0.299 0.000 0.263 0.000

Problem 821

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

158 121 103 194 218 291 0 98 0

N.S.

1 0.77 0.65 1.23 1.38 1.84 0.00 0.62 0.00

time (sec)

N/A 0.242 0.036 0.398 0.336 0.291 0.000 0.269 0.000

Problem 822

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

158 120 104 194 234 291 0 98 0

N.S.

1 0.76 0.66 1.23 1.48 1.84 0.00 0.62 0.00

time (sec)

N/A 0.240 0.035 0.148 0.364 0.295 0.000 0.276 0.000

Problem 823

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

209 140 110 117 280 331 0 110 0

N.S.

1 0.67 0.53 0.56 1.34 1.58 0.00 0.53 0.00

time (sec)

N/A 0.255 0.047 0.194 0.366 0.291 0.000 0.263 0.000

Problem 824

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

255 159 130 130 341 380 0 132 0

N.S.

1 0.62 0.51 0.51 1.34 1.49 0.00 0.52 0.00

time (sec)

N/A 0.269 0.051 0.185 0.344 0.304 0.000 0.276 0.000

Problem 825

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

302 178 157 156 404 437 0 159 0

N.S.

1 0.59 0.52 0.52 1.34 1.45 0.00 0.53 0.00

time (sec)

N/A 0.278 0.053 0.182 0.356 0.322 0.000 0.279 0.000

Problem 826

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

404 233 188 196 401 644 0 218 0

N.S.

1 0.58 0.47 0.49 0.99 1.59 0.00 0.54 0.00

time (sec)

N/A 0.311 0.296 0.423 0.393 0.344 0.000 0.269 0.000

Problem 827

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

357 214 167 174 381 585 0 191 0

N.S.

1 0.60 0.47 0.49 1.07 1.64 0.00 0.54 0.00

time (sec)

N/A 0.300 0.284 0.193 0.368 0.328 0.000 0.271 0.000

Problem 828

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

306 194 146 159 374 555 0 159 0

N.S.

1 0.63 0.48 0.52 1.22 1.81 0.00 0.52 0.00

time (sec)

N/A 0.282 0.263 0.180 0.399 0.346 0.000 0.267 0.000

Problem 829

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

258 175 146 357 376 525 0 147 0

N.S.

1 0.68 0.57 1.38 1.46 2.03 0.00 0.57 0.00

time (sec)

N/A 0.273 0.246 0.128 0.353 0.356 0.000 0.279 0.000

Problem 830

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

262 175 148 357 372 537 0 148 0

N.S.

1 0.67 0.56 1.36 1.42 2.05 0.00 0.56 0.00

time (sec)

N/A 0.277 0.249 0.143 0.349 0.357 0.000 0.287 0.000

Problem 831

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

262 175 146 357 368 537 0 148 0

N.S.

1 0.67 0.56 1.36 1.40 2.05 0.00 0.56 0.00

time (sec)

N/A 0.278 0.217 0.148 0.349 0.326 0.000 0.269 0.000

Problem 832

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B B A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

258 174 145 357 390 523 0 147 0

N.S.

1 0.67 0.56 1.38 1.51 2.03 0.00 0.57 0.00

time (sec)

N/A 0.273 0.267 0.155 0.363 0.367 0.000 0.284 0.000

Problem 833

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

311 194 149 161 427 559 0 158 0

N.S.

1 0.62 0.48 0.52 1.37 1.80 0.00 0.51 0.00

time (sec)

N/A 0.285 0.248 0.189 0.367 0.345 0.000 0.281 0.000

Problem 834

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

357 213 170 174 495 616 0 180 0

N.S.

1 0.60 0.48 0.49 1.39 1.73 0.00 0.50 0.00

time (sec)

N/A 0.295 0.306 0.190 0.367 0.320 0.000 0.265 0.000

Problem 835

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

404 232 191 200 550 673 0 207 0

N.S.

1 0.57 0.47 0.50 1.36 1.67 0.00 0.51 0.00

time (sec)

N/A 0.310 0.292 0.200 0.373 0.343 0.000 0.276 0.000

Problem 836

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

179 179 135 202 243 1191 7745 1808 729

N.S.

1 1.00 0.75 1.13 1.36 6.65 43.27 10.10 4.07

time (sec)

N/A 0.359 0.355 0.326 0.205 0.322 0.837 0.289 10.683

Problem 837

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

125 125 103 142 167 607 3417 926 417

N.S.

1 1.00 0.82 1.14 1.34 4.86 27.34 7.41 3.34

time (sec)

N/A 0.296 0.084 0.216 0.191 0.311 0.545 0.283 10.352

Problem 838

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 71 71 82 91 215 1020 332 177

N.S.

1 1.00 1.00 1.15 1.28 3.03 14.37 4.68 2.49

time (sec)

N/A 0.235 0.057 0.059 0.198 0.295 0.340 0.271 10.161

Problem 839

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

73 73 63 0 0 0 0 0 0

N.S.

1 1.00 0.86 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.212 0.025 0.000 0.000 0.000 0.000 0.000 0.000

Problem 840

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

81 81 71 0 0 0 0 0 0

N.S.

1 1.00 0.88 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.222 0.061 0.000 0.000 0.000 0.000 0.000 0.000

Problem 841

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

143 143 119 1095 143 757 11008 1560 1459

N.S.

1 1.00 0.83 7.66 1.00 5.29 76.98 10.91 10.20

time (sec)

N/A 0.279 0.062 0.253 0.195 0.288 1.038 0.290 10.765

Problem 842

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

209 209 135 2245 283 1569 20971 3092 1515

N.S.

1 1.00 0.65 10.74 1.35 7.51 100.34 14.79 7.25

time (sec)

N/A 0.364 0.436 0.257 0.204 0.313 1.518 0.322 11.372

Problem 843

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 47 47 40 39 39 42 43 41

N.S.

1 1.00 1.00 0.85 0.83 0.83 0.89 0.91 0.87

time (sec)

N/A 0.223 0.009 0.062 0.198 0.329 0.018 0.264 0.049

Problem 844

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 47 47 40 39 39 42 43 41

N.S.

1 1.00 1.00 0.85 0.83 0.83 0.89 0.91 0.87

time (sec)

N/A 0.222 0.010 0.055 0.201 0.328 0.018 0.258 0.043

Problem 845

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 47 41 40 39 39 42 43 41

N.S.

1 1.00 0.87 0.85 0.83 0.83 0.89 0.91 0.87

time (sec)

N/A 0.203 0.009 0.050 0.200 0.326 0.018 0.258 0.043

Problem 846

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 42 42 37 36 36 39 40 38

N.S.

1 1.00 1.00 0.88 0.86 0.86 0.93 0.95 0.90

time (sec)

N/A 0.199 0.008 0.048 0.188 0.332 0.018 0.257 0.042

Problem 847

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

38 38 38 36 34 34 36 36 35

N.S.

1 1.00 1.00 0.95 0.89 0.89 0.95 0.95 0.92

time (sec)

N/A 0.187 0.009 0.023 0.213 0.341 0.051 0.253 0.039

Problem 848

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 36 36 34 34 40 31 34 34

N.S.

1 1.00 1.00 0.94 0.94 1.11 0.86 0.94 0.94

time (sec)

N/A 0.191 0.012 0.030 0.196 0.350 0.074 0.258 0.041

Problem 849

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 36 37 35 34 41 36 35 34

N.S.

1 1.00 1.03 0.97 0.94 1.14 1.00 0.97 0.94

time (sec)

N/A 0.195 0.014 0.026 0.196 0.383 0.150 0.261 10.051

Problem 850

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 41 41 38 38 41 44 39 38

N.S.

1 1.00 1.00 0.93 0.93 1.00 1.07 0.95 0.93

time (sec)

N/A 0.196 0.019 0.026 0.208 0.376 0.294 0.264 0.053

Problem 851

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 45 42 40 39 39 46 41 40

N.S.

1 1.00 0.93 0.89 0.87 0.87 1.02 0.91 0.89

time (sec)

N/A 0.188 0.011 0.026 0.201 0.364 0.458 0.257 0.030

Problem 852

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 47 44 40 39 39 46 41 41

N.S.

1 1.00 0.94 0.85 0.83 0.83 0.98 0.87 0.87

time (sec)

N/A 0.191 0.010 0.025 0.197 0.334 0.714 0.271 0.029

Problem 853

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 47 45 40 39 39 46 41 41

N.S.

1 1.00 0.96 0.85 0.83 0.83 0.98 0.87 0.87

time (sec)

N/A 0.190 0.012 0.027 0.195 0.329 1.062 0.258 0.030

Problem 854

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 47 46 40 39 39 46 41 41

N.S.

1 1.00 0.98 0.85 0.83 0.83 0.98 0.87 0.87

time (sec)

N/A 0.193 0.012 0.028 0.198 0.332 1.455 0.268 0.030

Problem 855

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 101 101 94 93 93 105 103 93

N.S.

1 1.00 1.00 0.93 0.92 0.92 1.04 1.02 0.92

time (sec)

N/A 0.312 0.017 0.461 0.194 0.351 0.026 0.265 10.045

Problem 856

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 101 101 94 93 93 105 103 93

N.S.

1 1.00 1.00 0.93 0.92 0.92 1.04 1.02 0.92

time (sec)

N/A 0.285 0.015 0.160 0.197 0.345 0.027 0.256 0.032

Problem 857

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

96 96 96 90 90 90 100 99 89

N.S.

1 1.00 1.00 0.94 0.94 0.94 1.04 1.03 0.93

time (sec)

N/A 0.267 0.014 0.162 0.221 0.385 0.026 0.259 0.031

Problem 858

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 92 92 87 88 88 95 95 86

N.S.

1 1.00 1.00 0.95 0.96 0.96 1.03 1.03 0.93

time (sec)

N/A 0.235 0.024 0.151 0.212 0.364 0.087 0.272 0.037

Problem 859

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 90 87 90 88 95 88 92 86

N.S.

1 1.00 0.97 1.00 0.98 1.06 0.98 1.02 0.96

time (sec)

N/A 0.253 0.038 0.160 0.234 0.380 0.113 0.266 0.040

Problem 860

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 90 86 87 88 95 94 89 87

N.S.

1 1.00 0.96 0.97 0.98 1.06 1.04 0.99 0.97

time (sec)

N/A 0.263 0.034 0.152 0.209 0.341 0.217 0.269 10.029

Problem 861

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 90 90 86 89 95 99 89 87

N.S.

1 1.00 1.00 0.96 0.99 1.06 1.10 0.99 0.97

time (sec)

N/A 0.252 0.037 0.134 0.211 0.393 0.512 0.274 0.053

Problem 862

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 90 92 85 89 95 99 90 86

N.S.

1 1.00 1.02 0.94 0.99 1.06 1.10 1.00 0.96

time (sec)

N/A 0.247 0.033 0.152 0.223 0.393 1.341 0.281 0.071

Problem 863

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 95 92 88 92 95 105 93 89

N.S.

1 1.00 0.97 0.93 0.97 1.00 1.11 0.98 0.94

time (sec)

N/A 0.248 0.039 0.155 0.236 0.404 2.909 0.265 0.067

Problem 864

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

99 99 97 90 93 93 107 101 91

N.S.

1 1.00 0.98 0.91 0.94 0.94 1.08 1.02 0.92

time (sec)

N/A 0.244 0.030 0.407 0.205 0.338 7.623 0.283 0.048

Problem 865

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 101 100 90 93 93 107 101 93

N.S.

1 1.00 0.99 0.89 0.92 0.92 1.06 1.00 0.92

time (sec)

N/A 0.234 0.025 0.157 0.212 0.458 27.731 0.274 10.025

Problem 866

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 101 99 90 93 93 0 101 93

N.S.

1 1.00 0.98 0.89 0.92 0.92 0.00 1.00 0.92

time (sec)

N/A 0.237 0.026 0.152 0.223 0.442 0.000 0.272 0.049

Problem 867

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

166 166 166 169 166 166 201 192 168

N.S.

1 1.00 1.00 1.02 1.00 1.00 1.21 1.16 1.01

time (sec)

N/A 0.441 0.034 0.178 0.212 0.413 0.031 0.283 0.070

Problem 868

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

166 166 166 168 166 166 199 191 167

N.S.

1 1.00 1.00 1.01 1.00 1.00 1.20 1.15 1.01

time (sec)

N/A 0.398 0.025 0.167 0.228 0.319 0.031 0.270 10.051

Problem 869

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

158 158 158 164 162 162 190 187 163

N.S.

1 1.00 1.00 1.04 1.03 1.03 1.20 1.18 1.03

time (sec)

N/A 0.376 0.024 0.164 0.204 0.306 0.033 0.277 0.048

Problem 870

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

157 157 157 163 161 161 192 185 162

N.S.

1 1.00 1.00 1.04 1.03 1.03 1.22 1.18 1.03

time (sec)

N/A 0.323 0.045 0.158 0.216 0.297 0.134 0.278 0.053

Problem 871

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

156 156 156 168 162 168 184 183 163

N.S.

1 1.00 1.00 1.08 1.04 1.08 1.18 1.17 1.04

time (sec)

N/A 0.312 0.057 0.159 0.195 0.317 0.156 0.285 9.991

Problem 872

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

153 153 153 165 161 168 175 174 162

N.S.

1 1.00 1.00 1.08 1.05 1.10 1.14 1.14 1.06

time (sec)

N/A 0.325 0.052 0.161 0.223 0.255 0.281 0.297 0.058

Problem 873

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

155 155 160 162 162 168 187 169 164

N.S.

1 1.00 1.03 1.05 1.05 1.08 1.21 1.09 1.06

time (sec)

N/A 0.348 0.040 0.145 0.202 0.285 0.624 0.279 0.059

Problem 874

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

156 156 154 159 163 168 189 166 164

N.S.

1 1.00 0.99 1.02 1.04 1.08 1.21 1.06 1.05

time (sec)

N/A 0.337 0.044 0.168 0.227 0.270 1.817 0.266 10.014

Problem 875

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

154 154 161 151 163 168 182 162 162

N.S.

1 1.00 1.05 0.98 1.06 1.09 1.18 1.05 1.05

time (sec)

N/A 0.334 0.060 0.159 0.196 0.256 6.038 0.269 10.064

Problem 876

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

155 155 169 149 162 168 187 162 163

N.S.

1 1.00 1.09 0.96 1.05 1.08 1.21 1.05 1.05

time (sec)

N/A 0.325 0.059 0.164 0.196 0.286 53.875 0.260 0.094

Problem 877

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

160 160 175 152 165 168 0 165 165

N.S.

1 1.00 1.09 0.95 1.03 1.05 0.00 1.03 1.03

time (sec)

N/A 0.329 0.054 0.164 0.195 0.276 0.000 0.262 10.064

Problem 878

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

162 162 172 154 166 166 0 191 165

N.S.

1 1.00 1.06 0.95 1.02 1.02 0.00 1.18 1.02

time (sec)

N/A 0.328 0.045 0.171 0.197 0.256 0.000 0.271 10.017

Problem 879

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

166 166 175 154 166 166 0 191 167

N.S.

1 1.00 1.05 0.93 1.00 1.00 0.00 1.15 1.01

time (sec)

N/A 0.311 0.041 0.161 0.199 0.257 0.000 0.264 10.030

Problem 880

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

166 166 176 154 166 166 0 191 168

N.S.

1 1.00 1.06 0.93 1.00 1.00 0.00 1.15 1.01

time (sec)

N/A 0.317 0.047 0.155 0.202 0.281 0.000 0.255 10.017

Problem 881

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

229 229 222 260 0 730 1100 235 302

N.S.

1 1.00 0.97 1.14 0.00 3.19 4.80 1.03 1.32

time (sec)

N/A 0.554 0.090 0.365 0.000 0.293 1.906 0.270 0.248

Problem 882

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

169 169 165 183 0 563 840 169 221

N.S.

1 1.00 0.98 1.08 0.00 3.33 4.97 1.00 1.31

time (sec)

N/A 0.405 0.061 0.261 0.000 0.284 1.476 0.256 10.151

Problem 883

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

121 121 119 127 0 414 609 116 168

N.S.

1 1.00 0.98 1.05 0.00 3.42 5.03 0.96 1.39

time (sec)

N/A 0.320 0.048 0.249 0.000 0.274 1.090 0.255 0.177

Problem 884

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 85 86 90 0 289 423 84 127

N.S.

1 1.00 1.01 1.06 0.00 3.40 4.98 0.99 1.49

time (sec)

N/A 0.257 0.054 0.230 0.000 0.256 0.703 0.265 10.224

Problem 885

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 66 66 62 0 204 280 63 162

N.S.

1 1.00 1.00 0.94 0.00 3.09 4.24 0.95 2.45

time (sec)

N/A 0.220 0.036 0.451 0.000 0.286 0.390 0.257 9.838

Problem 886

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 71 71 70 0 228 0 71 375

N.S.

1 1.00 1.00 0.99 0.00 3.21 0.00 1.00 5.28

time (sec)

N/A 0.261 0.072 0.167 0.000 0.324 0.000 0.253 10.528

Problem 887

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

104 104 100 122 0 361 0 102 791

N.S.

1 1.00 0.96 1.17 0.00 3.47 0.00 0.98 7.61

time (sec)

N/A 0.323 0.057 0.463 0.000 0.346 0.000 0.264 11.633

Problem 888

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

145 145 141 174 0 517 0 147 814

N.S.

1 1.00 0.97 1.20 0.00 3.57 0.00 1.01 5.61

time (sec)

N/A 0.387 0.082 0.210 0.000 0.515 0.000 0.263 11.125

Problem 889

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

204 204 196 243 0 687 0 206 1063

N.S.

1 1.00 0.96 1.19 0.00 3.37 0.00 1.01 5.21

time (sec)

N/A 0.470 0.089 0.213 0.000 0.922 0.000 0.263 11.403

Problem 890

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

262 266 249 349 0 1696 1572 284 427

N.S.

1 1.02 0.95 1.33 0.00 6.47 6.00 1.08 1.63

time (sec)

N/A 0.692 0.230 0.290 0.000 0.300 4.000 0.272 10.602

Problem 891

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

192 204 190 269 0 1283 1248 225 360

N.S.

1 1.06 0.99 1.40 0.00 6.68 6.50 1.17 1.88

time (sec)

N/A 0.508 0.185 0.292 0.000 0.297 2.927 0.273 10.425

Problem 892

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

132 157 146 200 0 813 901 162 895

N.S.

1 1.19 1.11 1.52 0.00 6.16 6.83 1.23 6.78

time (sec)

N/A 0.355 0.119 0.253 0.000 0.286 1.481 0.263 10.095

Problem 893

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

99 99 99 118 0 521 379 109 177

N.S.

1 1.00 1.00 1.19 0.00 5.26 3.83 1.10 1.79

time (sec)

N/A 0.241 0.048 0.203 0.000 0.273 0.561 0.260 9.820

Problem 894

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 87 88 89 0 459 359 96 159

N.S.

1 1.00 1.01 1.02 0.00 5.28 4.13 1.10 1.83

time (sec)

N/A 0.221 0.047 0.198 0.000 0.285 0.490 0.260 0.113

Problem 895

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

135 166 134 200 0 955 0 157 920

N.S.

1 1.23 0.99 1.48 0.00 7.07 0.00 1.16 6.81

time (sec)

N/A 0.418 0.131 0.195 0.000 0.524 0.000 0.271 11.064

Problem 896

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

211 232 192 293 0 1615 0 238 1366

N.S.

1 1.10 0.91 1.39 0.00 7.65 0.00 1.13 6.47

time (sec)

N/A 0.547 0.216 0.206 0.000 1.346 0.000 0.271 11.765

Problem 897

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

283 294 253 375 0 2003 0 334 1661

N.S.

1 1.04 0.89 1.33 0.00 7.08 0.00 1.18 5.87

time (sec)

N/A 0.726 0.279 0.224 0.000 2.502 0.000 0.285 11.727

Problem 898

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

9 9 9 10 9 9 8 10 9

N.S.

1 1.00 1.00 1.11 1.00 1.00 0.89 1.11 1.00

time (sec)

N/A 0.148 0.002 0.160 0.185 0.288 0.037 0.259 0.046

Problem 899

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 14 13 13 14 15 13

N.S.

1 1.00 1.00 0.82 0.76 0.76 0.82 0.88 0.76

time (sec)

N/A 0.166 0.004 0.158 0.190 0.281 0.045 0.272 0.048

Problem 900

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 20 14 15 14 14 14 14 14

N.S.

1 1.43 1.00 1.07 1.00 1.00 1.00 1.00 1.00

time (sec)

N/A 0.179 0.004 0.344 0.302 0.266 0.044 0.260 9.724

[next] [prev] [prev-tail] [front] [up]